Allocating heaps in NUMA systems

ABSTRACT

Processes may be assigned heap memory within locally accessible memory banks in a multiple processor NUMA architecture system. A process scheduler may deploy a process on a specific processor and may assign the process heap memory from a memory bank associated with the selected processor. The process may be a functional process that may not change state of other memory objects, other than the input or output memory objects defined in the functional process.

BACKGROUND

Non-Uniform Memory Access (NUMA) is a computer architecture where computer memory may be allocated to different processors or groups of processors, and where each processor may be able to access some memory locations faster than others. In one embodiment, a device may have processors on four different chips or packages. Each package may have a bank of memory with direct memory access, but processors on one package may still access memory associated with a different package. However, there will be a delay in accessing memory associated with a different package.

SUMMARY

Processes may be assigned heap memory within locally accessible memory banks in a multiple processor NUMA architecture system. A process scheduler may deploy a process on a specific processor and may assign the process heap memory from a memory bank associated with the selected processor. The process may be a functional process that may not change state of other memory objects, other than the input or output memory objects defined in the functional process.

This Summary is provided to introduce a selection of concepts in a simplified form that are further described below in the Detailed Description. This Summary is not intended to identify key features or essential features of the claimed subject matter, nor is it intended to be used to limit the scope of the claimed subject matter.

BRIEF DESCRIPTION OF THE DRAWINGS

In the drawings,

FIG. 1 is a diagram illustration of an embodiment showing a system with Non Uniform Memory Access (NUMA) architecture.

FIG. 2 is a diagram illustration of an embodiment showing a device with NUMA architecture.

FIG. 3 is a flowchart illustration of an embodiment showing a method for allocating processes in a NUMA environment.

FIG. 4 is a flowchart illustration of an embodiment showing a method for optimizing process location.

FIG. 5 is a flowchart illustration of an embodiment showing a method for analyzing executable code.

DETAILED DESCRIPTION

Processes may be placed near existing memory objects in a Non Uniform Memory Access (NUMA) computer architecture. The processes may access memory objects as input objects or output objects. In cases where multiple memory objects are accessed from different locations, an estimate of the memory accesses may identify an optimum location. When an optimum location may not be available, a second or third location may be selected.

Processes may be assigned heap memory within locally accessible memory banks in a multiple processor NUMA architecture system. A process scheduler may deploy a process on a specific processor and may assign the process heap memory from a memory bank associated with the selected processor. The process may be a functional process that may not change state of other memory objects, other than the input or output memory objects defined in the functional process.

Processes may be assigned to specific processors when memory objects consumed by the processes are located in memory banks closely associated with the processors. When assigning processes to threads operating in a multiple processor NUMA architecture system, an analysis of the memory objects accessed by a process may identify processor or group of processors that may minimize the memory access time of the process. The selection may take into account the connections between memory banks and processors to identify the shortest communication path between the memory objects and the process. The processes may be pre-identified as functional processes that make little or no changes to memory objects other than information passed to or from the processes.

In a NUMA architecture, a computer system may have many processors and several memory banks. In some cases, each processor or group of processors may have a memory bank, such as a server computer which may have, for example, four CPU modules, each having multiple processors or cores. In such an example, each CPU module may have a high speed connection to a memory bank. In general, communication between a processor and its memory bank may be much faster than communication to another memory bank that may be connected to another processor.

A process scheduler may identify a process to launch and may select between many possible processors to have the process executed. The process scheduler may analyze the inputs and outputs of the process to determine the locations of the associated memory objects, then place the process on a processor where the processor may communicate with those memory objects quickly.

The processes may be treated as functional processes during the process scheduling operation. As functional processes, the processes may consume inputs and produce outputs but may not change the state of other memory objects. In some embodiments, the processes may be rigidly defined as functional processes. Such embodiments may include functional programming languages, such as Erlang, Scala, F#, Lisp, Clojure, OCaml, Haskell, and others. In some cases, the processes may be written in a functional programming style where the programmer may adhere to a functional style even though a language, compiler, or other constraint may not enforce the functional style.

When the processes adhere to a functional style or conform to a functional language, the optimized placement of processes near their input or output memory objects may have a larger performance increase than with non-functional processes. As a general observation, non-functional processes may tend to access a larger number of memory objects, as the programmer's tendency in non-functional languages does not focus on defining each input and output to a function.

A programmer in non-functional languages may focus on building relationships and connections between many memory objects through object oriented programming and other paradigms, which often cause a single process to access large numbers of memory objects. In contrast, a programmer of functional languages or in a functional style may focus on operations on a discrete or limited set of memory objects.

Strategic or optimized placement of a process for non-functional languages may not see much performance increase due to the fact that the process may access memory objects from many different memory banks In contrast, strategic placement of processes for processes from functional languages or in written in a functional style may render large performance gains, as the communication between the processes and memory may be directed to a small set of memory objects, and those memory objects may be in a known location.

The greatest performance gains may be achieved when all of the input and output objects may be located in a single memory bank, although some performance gains may be realized when most of the communication may be with a single memory bank.

The process scheduler may analyze the input and output memory objects for each individual process. In a functional language or in processes defined in a functional style, the input and output memory objects may be easily identified from the process definition. In contrast, identifying the memory objects used by a non-functional language such as an object oriented language may be extremely difficult. As such, the process scheduler may optimize placement of functional language processes much easier than for non-functional languages.

Throughout this specification and claims, the term “memory objects” is used to refer to items stored in memory. In some cases, the memory objects may be static data that may be retrieved by a process or stored by a process. In other cases, the memory objects may be a buffer, queue, or other mechanism that may store data that may be created or consumed by a process, hardware component, or other mechanism.

Throughout this specification, like reference numbers signify the same elements throughout the description of the figures.

When elements are referred to as being “connected” or “coupled,” the elements can be directly connected or coupled together or one or more intervening elements may also be present. In contrast, when elements are referred to as being “directly connected” or “directly coupled,” there are no intervening elements present.

The subject matter may be embodied as devices, systems, methods, and/or computer program products. Accordingly, some or all of the subject matter may be embodied in hardware and/or in software (including firmware, resident software, micro-code, state machines, gate arrays, etc.) Furthermore, the subject matter may take the form of a computer program product on a computer-usable or computer-readable storage medium having computer-usable or computer-readable program code embodied in the medium for use by or in connection with an instruction execution system. In the context of this document, a computer-usable or computer-readable medium may be any medium that can contain, store, communicate, propagate, or transport the program for use by or in connection with the instruction execution system, apparatus, or device.

The computer-usable or computer-readable medium may be, for example but not limited to, an electronic, magnetic, optical, electromagnetic, infrared, or semiconductor system, apparatus, device, or propagation medium. By way of example, and not limitation, computer readable media may comprise computer storage media and communication media.

Computer storage media includes volatile and nonvolatile, removable and non-removable media implemented in any method or technology for storage of information such as computer readable instructions, data structures, program modules or other data. Computer storage media includes, but is not limited to, RAM, ROM, EEPROM, flash memory or other memory technology, CD-ROM, digital versatile disks (DVD) or other optical storage, magnetic cassettes, magnetic tape, magnetic disk storage or other magnetic storage devices, or any other medium which can be used to store the desired information and which can accessed by an instruction execution system. Note that the computer-usable or computer-readable medium could be paper or another suitable medium upon which the program is printed, as the program can be electronically captured, via, for instance, optical scanning of the paper or other medium, then compiled, interpreted, of otherwise processed in a suitable manner, if necessary, and then stored in a computer memory.

When the subject matter is embodied in the general context of computer-executable instructions, the embodiment may comprise program modules, executed by one or more systems, computers, or other devices. Generally, program modules include routines, programs, objects, components, data structures, etc. that perform particular tasks or implement particular abstract data types. Typically, the functionality of the program modules may be combined or distributed as desired in various embodiments.

FIG. 1 is a diagram of an embodiment 100 showing a computer system that may deploy a Non Uniform Memory Access (NUMA) architecture. Embodiment 100 is a simplified example of a computer architecture illustrating the selection of a processor for a given process.

Embodiment 100 illustrates a simplified example of a NUMA architecture, showing some hardware components 102 and various software components. The hardware components 102 include CPUs 104, 106, 108, and 110. The CPUs may be a single hardware package, such as an integrated circuit. In many embodiments, each CPU may contain many processors.

Each of the CPUs 104, 106, 108, and 110 may have an associated memory bank 112, 114, 116, and 118, respectively. Between the CPUs and the associated memory bank may be a high speed memory bus. This high speed memory bus may allow fast and direct communication between a processor in the CPU package and a memory storage device within the memory bank. In many embodiments, the memory banks may be discrete components, such as integrated circuits that may be mounted on a printed circuit board.

Each of the various CPUs may be connected by a secondary bus that may be represented by the bus 120, 122, 124, 126, 128, and 130. The secondary bus may allow processes on one CPU package to communicate with other processes on other CPU packages as well as other memory banks associated with other CPU packages. For example, a processor executing on CPU 104 may retrieve memory objects 146 on memory bank 116 by communicating across the bus 128 to CPU 108, which may fetch the memory object 146.

As a comparison, communications between a CPU and a memory bank associated with another CPU may be five, ten, or more times as lengthy as a communication between a CPU and its own memory bank. Each NUMA architecture may have different performance characteristics, but the example comparison illustrates that the high performance communication path between a CPU and its associated memory bank may be much faster, sometimes by an order of magnitude or more, than communications to a memory bank associated with another CPU.

Embodiment 100 is merely one example of a NUMA architecture, and roughly represents many server computer architectures. Other examples of NUMA architectures may be found on a single chip. In such an example, multiple processors may be manufactured on a single silicon die and each processor may have memory associated with that processor. All of the various components illustrated in embodiment 100 may thus be implemented in a single integrated circuit. Again, such an embodiment is merely one other example of a NUMA architecture.

An application 132 may be executed on the NUMA architecture. The application 132 may have multiple processes 134 and 136 and may access various memory objects 138, 140, 146, and 148.

In many applications, concurrent executing threads may be spawned on one or more processors. A process scheduler may assign processes to a specific processor for execution as a thread. In some functional programming languages, a single application may have many hundreds, thousands, or even millions of independent processes that may be executed. In a typical computer system, multiple applications may be executing in parallel.

A process scheduler may determine which processor or groups of processors to place a specific process.

For example, CPU 104 may have four processors on a single CPU package. In such an example, a process scheduler may assign process 134 to any processor within the CPU 104 package. For the CPU 104 package, a process scheduler may maintain a queue of processes to execute, and any available processor may pull from the queue as the processor becomes available. In an example of a specific assignment, a process scheduler may assign a process 134 to core 3 on CPU 104.

A process scheduler may examine the process to be performed to determine which memory objects may be accessed by the process. The memory objects may be consumed as input objects or produced as output objects from the process.

The memory objects may be defined in the executable code. In some embodiments, a process scheduler may receive executable code with metadata that includes memory objects accessed by the process. In one example of such an embodiment, a process scheduler may operate with a just in time compiler that may be capable of identifying memory objects from intermediate code for an application.

The process scheduler may determine the location of the memory objects consumed or produced by a given process and may locate the process as close to the memory objects as possible. When the process is located as close to the data as possible, the process may execute faster.

An ideal solution may be to place a process in a location that minimizes the overhead of accessing memory objects, both at input and output of the process. In many cases, the ideal solution is a location where most of the memory calls may be made over a direct, high speed connection from the processor to a memory bank and to minimize the memory calls to other memory banks In many cases, a process scheduler may not be capable of accurately determining the number of memory calls. In such cases, various estimates may be made.

A process scheduler may analyze just the input memory objects in several different scenarios. The process scheduler may determine the physical location of the input memory objects and attempt to locate the process on a processor near the memory objects. In one scenario, the output memory objects may not be created. In such a scenario, the output memory objects may be created in the local memory bank for the processor. In another scenario, the number of calls or the size of data transmitted to the output memory objects may not be known prior to execution.

When there may be memory objects located in multiple memory banks, the process scheduler may place the process near the largest number of memory objects. In such an embodiment, the number of memory objects may serve as an estimate for the communication between the process and memory banks.

In another embodiment, the size of the memory objects may be used as a factor in placing processes. In one such example, the combined size of the memory objects in each memory bank may be analyzed and ranked. The memory bank with the largest amount of data consumed or produced by the process may indicate where to place the process. In such an embodiment, the data size may serve as an estimate for the communication between the process and memory banks.

In some cases, the size of the data may not be known. For example, a process may retrieve data from a memory object that is continually being updated. One example of such a memory object may be a buffer from another process, a network interface, or some other source.

Heap memory may be allocated to the process after determining which processor or group of processors may execute the process. Heap memory may be memory that is used by a process during execution, but may be repurposed once the process has completed. In many instances, heap memory may be temporary storage for data used during execution, but the data may not be saved once the process terminates.

Heap memory 142 may be assigned to process 134. Similarly, heap memory 144 may be assigned to process 136. In many cases, a process may access heap memory many more times and more frequently than input or output memory objects. In such cases, assigning heap memory in a memory bank close to the processor may increase performance dramatically from cases where heap memory may be assigned from remote memory banks.

FIG. 2 is a diagram of an embodiment 200 showing a computer system that may deploy a Non Uniform Memory Access (NUMA) architecture along with several software components that may place processed in the architecture in an optimized manner.

The diagram of FIG. 2 illustrates functional components of a system. In some cases, the component may be a hardware component, a software component, or a combination of hardware and software. Some of the components may be application level software, while other components may be operating system level components. In some cases, the connection of one component to another may be a close connection where two or more components are operating on a single hardware platform. In other cases, the connections may be made over network connections spanning long distances. Each embodiment may use different hardware, software, and interconnection architectures to achieve the functions described.

Embodiment 200 illustrates a device 202 that may have a hardware platform 204 and various software components. The device 202 as illustrated represents a conventional computing device, although other embodiments may have different configurations, architectures, or components.

In many embodiments, the device 202 may be a server computer. In some embodiments, the device 202 may still also be a desktop computer, laptop computer, netbook computer, tablet or slate computer, wireless handset, cellular telephone, game console or any other type of computing device.

The hardware platform 204 may be a NUMA architecture that has multiple CPUs 210, 212, and 214 and multiple memory banks 216, 218, and 220. Each of the memory banks is associated with one of the CPUs. Each CPU 210, 212, and 214 may represent a single processor or groups of multiple processors, depending on the system design.

The CPUs may be connected to a bus 222, as well as user interfaces 224, network interfaces 226, and nonvolatile storage 228.

The nonvolatile storage 228 may be storage that persists after the device 102 is shut down. The nonvolatile storage 228 may be any type of storage device, including hard disk, solid state memory devices, magnetic tape, optical storage, or other type of storage. The nonvolatile storage 228 may be read only or read/write capable.

The user interface 224 may be any type of hardware capable of displaying output and receiving input from a user. In many cases, the output display may be a graphical display monitor, although output devices may include lights and other visual output, audio output, kinetic actuator output, as well as other output devices. Conventional input devices may include keyboards and pointing devices such as a mouse, stylus, trackball, or other pointing device. Other input devices may include various sensors, including biometric input devices, audio and video input devices, and other sensors.

The network interface 226 may be any type of connection to another computer. In many embodiments, the network interface 226 may be a wired Ethernet connection. Other embodiments may include wired or wireless connections over various communication protocols.

The software components 206 may include an operating system 230 on which various applications and services may operate. An operating system may provide an abstraction layer between executing routines and the hardware components 204, and may include various routines and functions that communicate directly with various hardware components.

The operating system 230 may include a process scheduler 232 and a memory manager 234, as well as other components. The operating system 230 may be an environment in which applications 236 may be executed. Each of the applications 236 may contain multiple processes 238 that may be executed independently.

The process scheduler 232 may cause the various processes 238 to be executed on the hardware platform 204. The process scheduler 232 may determine when a specific process is to be launched and may allocate or provision resources for the process. As part of the allocation, the process scheduler 232 may determine which processor or group of processors may execute a process.

A memory manager 234 may manage memory objects for the applications, and perform various functions such as garbage collection, heap management, and the like. The memory manager 234 may allocate heap memory, and may also allocate heap memory to a given process by selecting the memory bank associated with a processor executing the process.

An execution environment 240 may be used in some embodiments to manage execution of the applications 236. The execution environment 240 may include a process scheduler 242 and memory manager 244. In some cases, the execution environment 240 may include a just in time compiler, garbage collection, and other components. The execution environment 240 may be deployed as a virtual machine or other construct that performs low level management of applications.

In some embodiments, an execution environment 240 may be allocated memory and processing bandwidth from an operating system 230 and the execution environment 240 may manage those resources to execute applications. In such an embodiment, the execution environment 240 may be allocated certain processors within the group of CPUs 210, 212, and 214, as well as memory within the corresponding memory banks 216, 218, and 220.

The process scheduler 242 within the execution environment 240 may determine which of the processors or groups of processors may execute each process. The memory manager 244 within the execution environment 240 may manage the various memory objects associated with the application, and may allocate heap memory to each of the processes.

An analysis engine 246 may analyze executable code to identify the memory objects that a process may use. In some embodiments, the analysis engine 246 may identify blocks of executable code that are functional blocks in which only the input and output memory objects may be changed during execution. The analysis engine 246 may analyze the executable code itself, metadata associated with the code, or other information. The output of the analysis engine 246 may be used by the process scheduler 242 and memory manager 246 to allocate processes and memory, respectively, during execution of an application. In some cases, the analysis engine 246 may be executed at runtime, while in other cases, the analysis engine 246 may be executed prior to runtime.

A development environment 248 may be a set of tools used by a programmer to create, edit, and deploy an application. The development environment 248 may include an editor 250 and compiler 252, as well as an analysis engine 254. In some embodiments, the compiler 252 or analysis engine 254 may generate metadata that may be used by a process scheduler to manage the execution of an application.

The metadata may include identifying whether or not a specific process is a functional process, as well as identifying the memory objects that may be accessed by each process. These metadata may be used by an operating system process scheduler 232 or an execution environment process scheduler 242 to optimally execute an application.

FIG. 3 is a flowchart illustration of an embodiment 300 showing a method for allocating processes in a NUMA environment. Embodiment 300 illustrates one method that may be performed by a process scheduler.

Other embodiments may use different sequencing, additional or fewer steps, and different nomenclature or terminology to accomplish similar functions. In some embodiments, various operations or set of operations may be performed in parallel with other operations, either in a synchronous or asynchronous manner. The steps selected here were chosen to illustrate some principles of operations in a simplified form.

Embodiment 300 illustrates a method by which each functional block within an application may be placed on a processor and executed. Embodiment 400, illustrated later in this specification, provides a more detailed method for performing an optimization of the placement.

An application may be received in block 302.

In block 304, the functional blocks within the application may be identified. In some embodiments, an analysis engine may identify each functional blocks. In other embodiments, functional blocks may be defined by a compiler or the functional blocks may be identified in executable code by nature of the language used to describe the code.

In some cases, an application may have blocks of code that are functional blocks and blocks of code that may not comply with the functional programming paradigm. In such cases, portions of an application may be treated as functional blocks and may be placed in an optimized location. The portions of the application that may be considered not functional blocks may be placed using other mechanisms.

Each functional block may be analyzed in block 306. For each functional block in block 306, the functional block may be treated as an independent process in block 308. The designation as an independent process in block 308 may merely mean that the process may have defined inputs and outputs and may not otherwise change the state of other objects.

The memory objects used by the process may be identified in block 310. In some embodiments, metadata associated with the process may contain memory object identifiers and descriptions. In other embodiments, an analysis engine or process scheduler may analyze the executable code to identify the memory objects.

For each memory object in block 312, the size of the object may be determined in block 314. If the size is not defined in block 316, a size may be estimated or a default size assigned in block 318. If the memory object exists, the location of the memory object may be determined in block 320.

After analyzing each memory object, an optimal location for the process may be determined in block 322. Embodiment 400 presented later in this specification illustrates one mechanism for determining an optimal location.

If the optimal location is not available in block 324, a secondary location may be selected in block 326. An optimal location may not be available when a processor or group of processors may be busy or when that processor or group of processors may not have sufficient available memory or other resources for a specific process. There may be other conditions when a certain location may not be available as well.

Heap memory may be allocated in block 328 in a memory bank associated with a target processor or group of processors, and the process may be launched in block 330.

When a process may be launched on a specific processor, the process may be placed in a queue for that processor. When the processor requests work to perform, the processor may pull the process from the queue and may begin execution.

In embodiments where a process may be assigned to a group of processors, each of the processors may have access to a single queue. As any of the processors within the group become open and request work, the processor may pull a process from the queue and begin execution.

FIG. 4 is a flowchart illustration of an embodiment 400 showing a method for optimizing a process location. Embodiment 400 illustrates the operations that may be performed in conjunction with block 322 of embodiment 300.

Other embodiments may use different sequencing, additional or fewer steps, and different nomenclature or terminology to accomplish similar functions. In some embodiments, various operations or set of operations may be performed in parallel with other operations, either in a synchronous or asynchronous manner. The steps selected here were chosen to illustrate some principles of operations in a simplified form.

Embodiment 400 illustrates an optimization mechanism that may use either or both of the number of memory objects or the size of the memory objects as factors in determining an optimized location for a given process.

A process may be received in block 402.

Each memory bank may be analyzed in block 404. For each memory bank in block 404, the number of memory objects associated with the process may be identified in block 406. Also, the size of the memory objects associated with the process may be assessed in block 408.

After collecting the number and size of memory objects for each memory bank, an optimized location may be determined. The optimized location may be selected by using the memory bank having the most memory objects associated with the process, the largest amount of data associated with the process, or some combination of the two. In some embodiments, various heuristics, algorithms, or other mechanisms may be used to select an optimized location.

A heap size for the process may be determined in block 412. In some embodiments, the heap size may be estimated when a heap size may not be estimated from a static analysis of the process.

In the optimal location for the process, a determination may be made in block 414 whether sufficient memory is available for the heap. If there is insufficient memory in block 414, and there are more locations to examine in block 416, the next preferable location may be selected in block 418 and the process may return to block 414.

If there is sufficient memory in block 414, an analysis in block 420 may determine if sufficient processing bandwidth may be available. If the processing bandwidth is not available in block 422, the method may move to block 416 to analyze another location. If the processing bandwidth is available in block 422, the process may be launched in the selected location in block 424.

FIG. 5 is a flowchart illustration of an embodiment 500 showing a method for analyzing executable code. Embodiment 500 illustrates one mechanism to evaluate executable code to classify the executable code as either functional code or non-functional code.

Other embodiments may use different sequencing, additional or fewer steps, and different nomenclature or terminology to accomplish similar functions. In some embodiments, various operations or set of operations may be performed in parallel with other operations, either in a synchronous or asynchronous manner. The steps selected here were chosen to illustrate some principles of operations in a simplified form.

Embodiment 500 illustrates a method by which executable code may be classified as functional code or non-functional code. In this context, “functional code” may refer to code written in a functional language style, where a block of code may have defined inputs and outputs, but may not change the state of other memory objects during processing. Embodiment 500 examines both the input and output memory objects and compares the input and output memory objects to any state changes that may occur during processing.

When the amount of data transferred through the input and output memory objects is higher than the state changes, the block of executable code may be considered “functional” for the purposes of allocating processes in the NUMA environment. When the block of executable code is considered “non-functional”, a process scheduler may treat the executable code as conventional code when placing the processes in a NUMA environment.

In block 502, a portion of executable code may be received.

The analysis of embodiment 500 may be performed prior to executing the code. In some cases, the analysis of embodiment 500 may be performed at compile time by a compiler or prior to execution by an analysis engine. In other cases, embodiment 500 may be performed at runtime by a just in time compiler, an analysis engine in an execution environment, or by an analysis engine in an operating system.

The analysis of embodiment 500 may be performed on any type of executable code. The code may be source code, intermediate code, byte code, machine code, or other code. In some cases, embodiment 500 may be performed on decompiled code.

Embodiment 500 may be performed by analyzing the actual code, by analyzing metadata associated with the code, or by analyzing a combination of actual code and metadata.

In some embodiments, the analysis of the executable code may be performed statically, meaning that the analysis may be performed by analyzing the code prior to execution. In other embodiments, the analysis of the executable code may be performed dynamically. In such embodiments, the code may be instrumented to capture the calls into memory and collect performance information during execution.

In block 504, all input memory objects may be identified. For each input memory object in block 506, a size of data transfer with the object may be defined in block 508 and the frequency of the data transfer may be defined in block 510.

All output memory objects may be identified in block 512. For each output memory object in block 514, a size of data transfer with the object may be defined in block 516 and the frequency of the data transfer may be defined in block 518.

All accesses to memory objects other than input and output objects where the state of the object is changed may be identified in block 520. For each memory object in block 522, a size of data transfer with the object may be defined in block 524 and the frequency of the data transfer may be defined in block 526.

The data transfer of the combined input and output memory objects may be compared to the data transfer of the state change objects in block 528. If the comparison meets predefined criteria in block 530, the executable code may be considered “functional” in block 532. Otherwise, the executable code may be considered “non functional” in block 534.

The criteria in blocks 528 and 530 may vary from one embodiment to another. In an exemplary embodiment, the executable code may be considered “functional” when the amount of data passed to state change objects is less than the amount of data passed to the combined input and output memory objects. In other examples, the executable code may be considered “functional” when data passed to the state change objects is less than some multiple of the data passed to the combined input and output memory objects. The multiple may be 1, 0.75, 0.5, 0.25, 0.1.

In some embodiments, the criteria in blocks 528 and 530 may compare the amount of data received from input objects to the amount of data passed to the state change objects. The comparison may deem the code “functional” when the data passed to the state change objects is less than the data passed with the input objects, for example.

The foregoing description of the subject matter has been presented for purposes of illustration and description. It is not intended to be exhaustive or to limit the subject matter to the precise form disclosed, and other modifications and variations may be possible in light of the above teachings. The embodiment was chosen and described in order to best explain the principles of the invention and its practical application to thereby enable others skilled in the art to best utilize the invention in various embodiments and various modifications as are suited to the particular use contemplated. It is intended that the appended claims be construed to include other alternative embodiments except insofar as limited by the prior art. 

What is claimed is:
 1. A method comprising: operating a computer system comprising a plurality of processor groups and a plurality of memory banks, each of said processor groups having a corresponding one of said memory banks; while operating said computer system, receiving a first process comprising instructions that operate on a first memory object; selecting a first processor being contained in a first processor group, said first processor group corresponding to a first memory bank; allocating first heap memory to said first process from said first memory bank; and executing said first process on said first processor using said first heap memory.
 2. The method of claim 1, said first process being a portion of an application, said application further comprising a second process.
 3. The method of claim 2 further comprising: selecting a second processor being contained in a second processor group, said second processor group corresponding to a second memory bank; allocating second heap memory to said second process from said second memory bank; and executing said second process on said second processor using said second heap memory.
 4. The method of claim 3, said first process being a functional block of executable code.
 5. The method of claim 4 further comprising: determining that said first process is a functional block of code.
 6. The method of claim 5, said functional block of code being determined by analyzing metadata associated with said first process.
 7. The method of claim 5, said first process being identified as a functional process by static analysis of said first process.
 8. The method of claim 7, said static analysis identifying a set of input data, a set of output data, and a set of state change data, said set of state change data being smaller than said set of input data.
 9. The method of claim 8, said set of state change data being smaller than a sum of said set of input data and said set of output data.
 10. The method of claim 4, said first process being defined using a functional language.
 11. The method of claim 10, said functional language being one of a group composed of: Erlang; Scala; F#; Lisp; Clojure; OCaml; and Haskell.
 12. The method of claim 1, said selecting said first processor being performed in part by: determining that said first processor has a processing bandwidth capable of performing said first process.
 13. The method of claim 12 further comprising: analyzing a second processor corresponding to a second memory bank; and determining that said second processor does not have processing bandwidth capable of performing said first process and not selecting said second processor for performing said first process.
 14. A system comprising: a plurality of processors, each of said processors belonging to one of a plurality of processor groups; a plurality of memory banks, each of said memory banks being assigned to one of said processor groups; a process scheduler that: receives a first process comprising instructions that operate on a first memory object; selects a first processor being contained in a first processor group, said first processor group corresponding to said first memory bank; allocates heap memory for said first process within said first memory bank; and executes said first process on said first processor.
 15. The system of claim 14 further comprising: an operating system; an execution environment within said operating system, said execution environment comprising memory management functions for executing code, said process scheduler operating within said execution environment.
 16. The system of claim 15, said process scheduler being an operating system level function.
 17. The system of claim 16, said first process being a portion of an application, said application further comprising a second process.
 18. The system of claim 17, said process scheduler that further: selects a second processor being contained in a second processor group, said second processor group corresponding to a second memory bank; allocates second heap memory to said second process from said second memory bank; and executes said second process on said second processor using said second heap memory. 